Towards Unified Dependability Modeling and Analysis

Unified dependability modeling and analysis consists of both functional and non-functional modeling and analysis techniques. Nowadays one of the most popular modeling techniques is UML. Functional properties of an UML model can be validated and verified by existing modeling tools. Checking of non-functional properties, like those related to dependability is of a growing importance while they cannot be easily derived from UML models. Despite the fact of the existence of a unified concept and terminology of dependability notions and mechanisms, little convergence is observable between the specific fields in dependability engineering. This paper presents a methodology for the uniform modeling of the different dependability related attributes.